退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:提高形式验证的效率:以时钟域交叉为例
Plassan, Guillaume; Peter, Hans-Jörg; Morin-Allory, Katell; Sarwary, Shaker; Borrione, Dominique;
机译:半正式规范和正式验证可改善数字设计:一些统计数据
机译:正式高级综合用于验证的效率研究
机译:在虚拟化网络中提高可达性策略的正式验证
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:网络物理系统中控制模块的正式验证
机译:时钟域交叉的正式验证
机译:用于提高形式验证中的覆盖范围准确性的系统,方法和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。